Why Philosophers Should Care About Computational Complexity Scott Aaronson∗ Abstract One might think that, once we know something is computable, how efficiently it can be computed is a practical question with little fu

Source URL: www.scottaaronson.com

• Computational complexity theory
• Theory of computation
• Complexity classes
• Mathematical optimization
• Structural complexity theory
• Models of computation
• P versus NP problem
• NP
• Reduction
• Time complexity
• Oracle machine
• Low

Building a file system with FSCQ infrastructure Haogang Chen Abstract FSCQ is a file system with a machine-checkable proof (using the Coq proof assistant [2]) that its implementation meets its specification, even under c

Source URL: css.csail.mit.edu

Machine Comprehension with Discourse Relations Karthik Narasimhan CSAIL, MIT Abstract

Source URL: people.csail.mit.edu

Paxos Made Parallel Zhenyu Guo, Chuntao Hong, Mao Yang, Dong Zhou, Lidong Zhou and Li Zhuang Microsoft Research Asia Abstract Standard state-machine replication involves consensus on a sequence of totally ordered request

Source URL: research.microsoft.com

Toward Statistical Machine Translation without Parallel Corpora Alexandre Klementiev Ann Irvine Chris Callison-Burch Center for Language and Speech Processing Johns Hopkins University Abstract We estimate the parameters

Source URL: cs.jhu.edu

1 Efficient Byzantine Fault Tolerance Giuliana Santos Veronese, Miguel Correia Member, IEEE, Alysson Neves Bessani, Lau Cheuk Lung and Paulo Verissimo, Fellow, IEEE Abstract—We present two asynchronous Byzantine fault

Source URL: www.di.fc.ul.pt

• Computing
• Fault-tolerant computer systems
• Internet protocols
• Data synchronization
• Internet Standards
• State machine replication
• Hypertext Transfer Protocol
• Replication
• Distributed computing
• Domain Name System

Encouraging reactivity to create robust machines Joel Lehman, Sebastian Risi, David D’Ambrosio, and Kenneth O. Stanley To Appear In: Adaptive Behavior journal. London: SAGE, Abstract

Source URL: eplex.cs.ucf.edu

• Evolutionary algorithms
• Artificial neural networks
• Evolutionary computation
• Artificial intelligence
• Genetic algorithms
• Applied mathematics
• Machine learning
• Neuroevolution
• HyperNEAT
• Compositional pattern-producing network
• Robotics
• Evolutionary robotics

Evaluating Personal Archiving Strategies for Internet-based Information Catherine C. Marshall; Microsoft; San Francisco, CA; Frank McCown and Michael L. Nelson; Old Dominion University; Norfolk, VA Abstract Internet-base

Source URL: www.harding.edu

• Digital media
• Technology
• World Wide Web
• New media
• Website
• Personal web page
• Internet
• Wayback Machine
• Web 2.0

Machine Learning Techniques—Reductions Between Prediction Quality Metrics Alina Beygelzimer and John Langford and Bianca Zadrozny Abstract Machine learning involves optimizing a loss function on unlabeled data points g

Source URL: hunch.net

Parsing English into Abstract Meaning Representation Using Syntax-Based Machine Translation Michael Pust, Ulf Hermjakob, Kevin Knight, Daniel Marcu, Jonathan May Information Sciences Institute Computer Science Department

Source URL: www.emnlp2015.org